Search results for "03e10 68v20"

showing 1 items of 1 documents

Extended Natural Numbers and Counters

2020

Summary This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.

Applied Mathematics03e10 68v20Mathematics::General Topology020207 software engineeringNatural number0102 computer and information sciences02 engineering and technologysequence01 natural sciencesCombinatoricsComputational MathematicsMathematics::Logic010201 computation theory & mathematicscardinal0202 electrical engineering electronic engineering information engineeringextended natural numbersQA1-939MathematicsMathematicsSequence (medicine)MathematicsofComputing_DISCRETEMATHEMATICSFormalized Mathematics
researchProduct